Biblioteca da Universidade do Minho catalog › Results of search for 'C. C.' with limit(s): 'title-series:Lecture notes in computer science'

Your search returned 21 results.

		A concurrent Pascal compiler for Minicomputers / Alfred C. Hartmann Monografia Publication Berlim : Springer-Verlag, 1977 Description 119 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Logicism renewed : logical foundations for mathematics and computer science / Paul C. Gilmore Monografia Publication Wellesley, Mass. : Association for Symbolic Logic, cop. 2005 Description XVII, 230 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Programming languages and their definition / H. Bekic ; selected papers edited by C. B. Jones Monografia Publication Berlin : Springer-Verlag, 1984 Description XXXII, 254 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Isabelle : a generic theorem prover / Lawrence C. Paulson ; colab. Tobias Nipkow Monografia Publication Berlin : Springer-Verlag, cop. 1994 Description XVII, 321 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Adaptive processing of sequences and data structures : tutorial lectures / ed. C. Lee Giles, Marco Gori Monografia Publication Berlin : Springer, cop. 1998 Description XII, 434 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		CONCUR'90 : theories of concurrency : unification and extension / ed. J. C. M. Baeten, J. W. Klop Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description VII, 536 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Lost (1). 1 2 3 4 5 Place hold Add to cart (remove)
		An introduction to the PL-CV2 programming logic / R. L. Constable, S. D. Johnson, C. D. Eichenlaub Monografia Publication Berlin : Springer-Verlag, 1982 Description X, 292 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Mathematics of program construction : proceedings / Second International Conference... ; ed. R. S. Bird, C. C. Morgan, J. C. P. Woodcock Monografia Publication Berlin : Springer-Verlag, cop. 1993 Description VIII, 378 p.24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Problems and methodologies in mathematical software production / International Seminar... ; ed. P. C. Messina, A. Murli Monografia Publication Berlin : Springer-Verlag, 1982 Description [8], 271 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Automata, languages and programming : proceedings / 30th International Colloquium, ICALP 2003 ; ed. Jos C.M. Baeten... [et al.] Monografia Publication Berlin : Springer, cop. 2003 Description XVIII, 1199 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Practical aspects of declarative languages : proceedings / 4th International Symposium... ; ed. Shriram Krishnamurthi, C. R. Ramakrishnan Monografia Publication Berlin : Springer, cop. 2002 Description VIII, 349 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		CAAP'81 : trees in algebra and programming / 6th Colloquium on Trees in Algebra and Programming ; ed. E. Astesiano, C. Bohm Monografia Publication Berlin : , Springer-Verlag Description VI, 364 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Recent trends in data type specification / ed. M. Bidoit, C. Choppy Monografia Publication Berlin : Springer-Verlag, cop. 1993 Description X, 344 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Mathematics of program construction : proceedings / International Conference... ; ed. Roland Backhouse, José Nuno Oliveira Monografia Publication Berlin : Springer, 2000 Description VII, 255 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Spatial information theory : a theoretical basics for GIS : proceedings / International Conference COSIT'97 ; ed. Stephen C. Hirtle, Andrew U. Frank Monografia Publication Berlin : Springer, 1997 Description XIV, 510 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Conceptual modeling - ER'97 : proceedings / 16th International Conference ; ed. David W. Embley, Robert C. Goldstein Monografia Publication Berlin : Springer, cop. 1997 Description XV, 477 p. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability No copies available Checked out (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Isabelle-HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel Monografia Publication Berlin : Springer, cop. 2002 Description XIII, 218 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Concur'99 : concurrency theory : proceedings / 10th International Conference... ; ed. Jos C. M. Baeten, Sjouke Mauw Monografia Publication Berlin : Springer, cop. 1999 Description XI, 572 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Foundations of software technology and theoretical computer science / 19th Conference... ; ed. C. Pandu Rangan, V. Raman, R. Ramanujam Monografia Publication Berlin : , Springer Description XII, 452 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available VDM'90 : VDM and Z - formal methods in software development / Tird International Symposium of VDM Europe ; ed. D. Bjorner, C. A. R. Hoare, H. Langmaack Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description XVII, 579 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)